| emsoft | participants

Paul Caspi

EMSOFT 2010: 10th International Conference on Embedded Software

A Unifying View of Loosely Time-Triggered Architectures

Albert Benveniste, Anne Bouillard, and Paul Caspi

EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software

Loosely Time-Triggered Architectures Based on Communication-by-Sampling

Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, and Stavros Tripakis

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

Communication by Sampling in Time-Sensitive Distributed Systems

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, and Stavros Tripakis

A Memory-Optimal Buffering Protocol for Preservation of Synchronous Semantics Under Preemptive Scheduling

Christos Sofronis, Stavros Tripakis, and Paul Caspi

EMSOFT 2005: 5th ACM International Conference on Embedded Software

Semantics-Preserving and Memory-Efficient Implementation of Inter-Task Communication on Static-Priority or EDF Schedulers

Stavros Tripakis, Christos Sofronis, Norman Scaife, and Paul Caspi

EMSOFT 2004: 4th ACM International Conference on Embedded Software

Defining and Translating a "Safe" Subset of Simulink/Stateflow Into Lustre

Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, and Florence Maraninchi

Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA)

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, and Alberto L. Sangiovanni-Vincentelli

EMSOFT 2003: 3rd International Conference on Embedded Software

Translating Discrete-Time Simulink to Lustre

Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, and Stavros Tripakis

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment

Albert Benveniste, Luca P. Carloni, Paul Caspi, and Alberto L. Sangiovanni-Vincentelli

EMSOFT 2002: 2nd International Workshop on Embedded Software

Toward an Approximation Theory for Computerised Control

Paul Caspi and Albert Benveniste

A Protocol for Loosely Time-Triggered Architectures

Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, and Stavros Tripakis

EMSOFT 2001: 1st International Workshop on Embedded Software

Embedded Control: From Asynchrony to Synchrony and Back

Paul Caspi